<html>
<body>
将最顶端的二元布尔表达式替换为等效的否定表达式。
</body>
</html>